Electronic Books

Total Books: 1 - 9 /9
978-3-540-73099-6
Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Continue reading
978-3-540-73099-6
Automated Reasoning with Analytic Tableaux and Related Methods

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

Continue reading
978-3-540-33519-1
Knowledge Representation Techniques

The basis for the material in this book centers around a long term research project with autonomous unmanned aerial vehicle ...

Continue reading
978-3-540-31827-9
Logic Programming and Nonmonotonic Reasoning

Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...

Continue reading
978-3-540-72200-7
Logic Programming and Nonmonotonic Reasoning

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...

Continue reading
978-3-540-71410-1
Logic-Based Program Synthesis and Transformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...

Continue reading
978-3-540-39627-7
Logics in Artificial Intelligence

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...

Continue reading
978-3-540-87803-2
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

Continue reading
978-1-4020-3399-5
The Dynamics of Thought

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of ...

Continue reading
Total Books: 1 - 9 /9